\subsection{grafoCorrecto}\label{labelCodigoGrafoCorrecto}

\begin{lstlisting}
% grafoCorrecto

% Determina que el grafo que se genera con los planes de vuelo mediante los
% hechos llega(_,_,_) sea un grafo conexo. Para ello se obtienen todas las
% ciudades y se debe cumplir que de todas las ciudades se puede llegar al resto.

grafoCorrecto :- 
	setof(X, esCiudad(X), L),
	todosConexosConList( L, L ).
\end{lstlisting}